P®(P∧Q)的类型是？A:重言式 B:矛盾式 C:非重言可满足式 D:无法判断答案: 非重言可满足式